McMinn, Phil : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (92)
Les plus populaires
Liste
- Liste
- Tableau

1

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Automated Repair of Internationalization Presentation Failures in Web Pages Using Style Similarity Clustering and Search-Based Techniques

Mahajan, Sonal, Alameer, Abdulmajeed, McMinn, Phil, Halfond, William G. J.

Année:

2018

Langue:

english

Fichier:

PDF, 379 KB

english, 2018

2

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem

Harman, Mark, Kim, Sung Gon, Lakhotia, Kiran, McMinn, Phil, Yoo, Shin

Année:

2010

Langue:

english

Fichier:

PDF, 445 KB

english, 2010

3

Random or evolutionary search for object-oriented test suite generation?

Shamshiri, Sina, Rojas, José Miguel, Gazzola, Luca, Fraser, Gordon, McMinn, Phil, Mariani, Leonardo, Arcuri, Andrea

Journal:

Software Testing, Verification and Reliability

Année:

2018

Langue:

english

Fichier:

PDF, 2.24 MB

english, 2018

4

[IEEE 2020 IEEE 32nd International Conference on Software Engineering Education and Training (CSEE&T) - Munich, Germany (2020.11.9-2020.11.12)] 2020 IEEE 32nd Conference on Software Engineering Education and Training (CSEE&T) - The Influence of Test Suite Properties on Automated Grading of Programming Exercises

Clegg, Benjamin S., McMinn, Phil, Fraser, Gordon

Année:

2020

Fichier:

PDF, 691 KB

2020

5

Search-based software test data generation: a survey

Journal:

Software Testing, Verification and Reliability

Année:

2004

Langue:

english

Fichier:

PDF, 449 KB

english, 2004

6

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Search-Based Software Testing: Past, Present and Future

Année:

2011

Langue:

english

Fichier:

PDF, 1.01 MB

english, 2011

7

An orchestrated survey of methodologies for automated software test case generation

Anand, Saswat, Burke, Edmund K., Chen, Tsong Yueh, Clark, John, Cohen, Myra B., Grieskamp, Wolfgang, Harman, Mark, Harrold, Mary Jean, McMinn, Phil

Journal:

Journal of Systems and Software

Année:

2013

Langue:

english

Fichier:

PDF, 585 KB

english, 2013

8

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Does automated white-box test generation really help software testers?

Fraser, Gordon, Staats, Matt, McMinn, Phil, Arcuri, Andrea, Padberg, Frank

Année:

2013

Langue:

english

Fichier:

PDF, 615 KB

english, 2013

9

The Oracle Problem in Software Testing: A Survey

Barr, Earl T., Harman, Mark, McMinn, Phil, Shahbaz, Muzammil, Yoo, Shin

Journal:

IEEE Transactions on Software Engineering

Année:

2015

Langue:

english

Fichier:

PDF, 850 KB

english, 2015

10

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - DOMINO: Fast and Effective Test Data Generation for Relational Database Schemas

Alsharif, Abdullah, Kapfhammer, Gregory M., McMinn, Phil

Année:

2018

Langue:

english

Fichier:

PDF, 222 KB

english, 2018

11

[IEEE 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Xi'an, China (2019.4.22-2019.4.27)] 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Automatic Visual Verification of Layout Failures in Responsively Designed Web Pages

Althomali, Ibrahim, Kapfhammer, Gregory M., McMinn, Phil

Année:

2019

Langue:

english

Fichier:

PDF, 44 KB

english, 2019

12

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) - Simulating Student Mistakes to Evaluate the Fairness of Automated Grading

Clegg, Benjamin, North, Siobhan, McMinn, Phil, Fraser, Gordon

Année:

2019

Langue:

english

Fichier:

PDF, 123 KB

english, 2019

13

[IEEE 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Cleveland, OH, USA (2019.9.29-2019.10.4)] 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME) - What Factors Make SQL Test Cases Understandable for Testers? A Human Study of Automated Test Data Generation Techniques

Alsharif, Abdullah, Kapfhammer, Gregory M., McMinn, Phil

Année:

2019

Fichier:

PDF, 200 KB

2019

14

Validation and discovery from computational biology models

Mariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, Mike Holcombe

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 923 KB

english, 2008

15

TAIC PART 2007 and Mutation 2007 special issue editorial

Mark Harman, Zheng Li, Phil McMinn, Jeff Offutt, John Clark

Journal:

Journal of Systems and Software

Année:

2009

Langue:

english

Fichier:

PDF, 119 KB

english, 2009

16

Editorial: Addressing industrial challenges—UKTest 2005 and beyond

Phil McMinn, Robert M. Hierons

Journal:

Software Testing, Verification and Reliability

Année:

2006

Langue:

english

Fichier:

PDF, 71 KB

english, 2006

17

Editorial: Testing practice and research

Mark Harman, Zheng Li, Phil McMinn

Journal:

Software Testing, Verification and Reliability

Année:

2008

Langue:

english

Fichier:

PDF, 54 KB

english, 2008

18

An empirical investigation into branch coverage for C programs using CUTE and AUSTIN

Kiran Lakhotia, Phil McMinn, Mark Harman

Journal:

Journal of Systems and Software

Année:

2010

Langue:

english

Fichier:

PDF, 899 KB

english, 2010

19

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Symbolic search-based testing

Baars, Arthur, Harman, Mark, Hassoun, Youssef, Lakhotia, Kiran, McMinn, Phil, Tonella, Paolo, Vos, Tanja

Année:

2011

Langue:

english

Fichier:

PDF, 512 KB

english, 2011

20

An identification of program factors that impact crossover performance in evolutionary test input generation for the branch coverage of C programs

Journal:

Information and Software Technology

Année:

2013

Langue:

english

Fichier:

PDF, 1.62 MB

english, 2013

21

An integrated systems biology approach to understanding the rules of keratinocyte colony formation

Sun, Tao, McMinn, Phil, Coakley, Simon, Holcombe, Mike, Smallwood, Rod, MacNeil, Sheila

Journal:

Journal of The Royal Society Interface

Année:

2007

Langue:

english

Fichier:

PDF, 743 KB

english, 2007

22

Automatic generation of valid and invalid test data for string validation routines using web searches and regular expressions

Shahbaz, Muzammil, McMinn, Phil, Stevenson, Mark

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2015

23

A Memetic Algorithm for whole test suite generation

Fraser, Gordon, Arcuri, Andrea, McMinn, Phil

Journal:

Journal of Systems and Software

Année:

2015

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2015

24

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems

Kapfhammer, Gregory M., McMinn, Phil, Wright, Chris J.

Année:

2013

Langue:

english

Fichier:

PDF, 241 KB

english, 2013

25

[IEEE 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Windsor, United Kingdom (2009.09.4-2009.09.6)] 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?

Lakhotia, Kiran, McMinn, Phil, Harman, Mark

Année:

2009

Langue:

english

Fichier:

PDF, 454 KB

english, 2009

26

[IEEE 2011 IEEE Congress on Evolutionary Computation (CEC) - New Orleans, LA, USA (2011.06.5-2011.06.8)] 2011 IEEE Congress of Evolutionary Computation (CEC) - A multiobjective optimisation approach for the dynamic inference and refinement of agent-based model specifications

Adra, Salem F., Kiran, Mariam, McMinn, Phil, Walkinshaw, Neil

Année:

2011

Langue:

english

Fichier:

PDF, 486 KB

english, 2011

27

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Mutation Operators for Agent-Based Models

Adra, Salem F., McMinn, Phil

Année:

2010

Langue:

english

Fichier:

PDF, 439 KB

english, 2010

28

[IEEE 2010 Second International Symposium on Search Based Software Engineering (SSBSE) - Benevento, Italy (2010.09.7-2010.09.9)] 2nd International Symposium on Search Based Software Engineering - How Does Program Structure Impact the Effectiveness of the Crossover Operator in Evolutionary Testing?

Année:

2010

Langue:

english

Fichier:

PDF, 1.75 MB

english, 2010

29

[ACM Press the 12th annual conference - Portland, Oregon, USA (2010.07.07-2010.07.11)] Proceedings of the 12th annual conference on Genetic and evolutionary computation - GECCO '10 - Superstate identification for state machines using search-based clustering

Hall, Mathew, McMinn, Phil, Walkinshaw, Neil

Année:

2010

Langue:

english

Fichier:

PDF, 1.28 MB

english, 2010

30

[ACM Press Proceeding of the fifteenth annual conference - Amsterdam, The Netherlands (2013.07.06-2013.07.10)] Proceeding of the fifteenth annual conference on Genetic and evolutionary computation conference - GECCO '13 - Test suite generation with memetic algorithms

Fraser, Gordon, Arcuri, Andrea, McMinn, Phil

Année:

2013

Langue:

english

Fichier:

PDF, 481 KB

english, 2013

31

[ACM Press the 9th annual conference - London, England (2007.07.07-2007.07.11)] Proceedings of the 9th annual conference on Genetic and evolutionary computation - GECCO '07 - A multi-objective approach to search-based test data generation

Lakhotia, Kiran, Harman, Mark, McMinn, Phil

Année:

2007

Langue:

english

Fichier:

PDF, 255 KB

english, 2007

32

[ACM Press the 11th Annual conference - Montreal, Québec, Canada (2009.07.08-2009.07.12)] Proceedings of the 11th Annual conference on Genetic and evolutionary computation - GECCO '09 - Search-based failure discovery using testability transformations to generate pseudo-oracles

Année:

2009

Langue:

english

Fichier:

PDF, 515 KB

english, 2009

33

[ACM Press the 10th annual conference - Atlanta, GA, USA (2008.07.12-2008.07.16)] Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08 - Handling dynamic data structures in search based testing

Lakhotia, Kiran, Harman, Mark, McMinn, Phil

Année:

2008

Langue:

english

Fichier:

PDF, 336 KB

english, 2008

34

[ACM Press the Eighth International Workshop - Trento, Italy (2010.07.12-2010.07.16)] Proceedings of the Eighth International Workshop on Dynamic Analysis - WODA '10 - Using compression algorithms to support the comprehension of program traces

Walkinshaw, Neil, Afshan, Sheeva, McMinn, Phil

Année:

2010

Langue:

english

Fichier:

PDF, 1.20 MB

english, 2010

35

Empirical evaluation of a nesting testability transformation for evolutionary testing

McMinn, Phil, Binkley, David, Harman, Mark

Journal:

ACM Transactions on Software Engineering and Methodology

Année:

2009

Langue:

english

Fichier:

PDF, 795 KB

english, 2009

36

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Search-Based Test Input Generation for String Data Types Using the Results of Web Queries

McMinn, Phil, Shahbaz, Muzammil, Stevenson, Mark

Année:

2012

Langue:

english

Fichier:

PDF, 324 KB

english, 2012

37

[ACM Press the 2006 international symposium - Portland, Maine, USA (2006.07.17-2006.07.20)] Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06 - The species per path approach to SearchBased test data generation

McMinn, Phil, Harman, Mark, Binkley, David, Tonella, Paolo

Année:

2006

Langue:

english

Fichier:

PDF, 712 KB

english, 2006

38

[ACM Press Proceeding of the fifteenth annual conference - Amsterdam, The Netherlands (2013.07.06-2013.07.10)] Proceeding of the fifteenth annual conference on Genetic and evolutionary computation conference - GECCO '13 - A theoretical runtime and empirical analysis of different alternating variable searches for search-based testing

Kempka, Joseph, McMinn, Phil, Sudholt, Dirk

Année:

2013

Langue:

english

Fichier:

PDF, 667 KB

english, 2013

39

[IEEE 2012 IEEE International Conference on Software Maintenance (ICSM) - Trento, Italy (2012.09.23-2012.09.28)] 2012 28th IEEE International Conference on Software Maintenance (ICSM) - Supervised software modularisation

Hall, Mathew, Walkinshaw, Neil, McMinn, Phil

Année:

2012

Langue:

english

Fichier:

PDF, 557 KB

english, 2012

40

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost

Afshan, Sheeva, McMinn, Phil, Stevenson, Mark

Année:

2013

Langue:

english

Fichier:

PDF, 615 KB

english, 2013

41

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Search-Based Propagation of Regression Faults in Automated Regression Testing

Shamshiri, Sina, Fraser, Gordon, Mcminn, Phil, Orso, Alessandro

Année:

2013

Langue:

english

Fichier:

PDF, 155 KB

english, 2013

42

[ACM Press the First International Workshop - Trento, Italy (2010.07.13-2010.07.13)] Proceedings of the First International Workshop on Software Test Output Validation - STOV '10 - Reducing qualitative human oracle costs associated with automatically generated test data

McMinn, Phil, Stevenson, Mark, Harman, Mark

Année:

2010

Langue:

english

Fichier:

PDF, 149 KB

english, 2010

43

[ACM Press the 2007 international symposium - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 - A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation

Harman, Mark, McMinn, Phil

Année:

2007

Langue:

english

Fichier:

PDF, 552 KB

english, 2007

44

[ACM Press the 2005 conference - Washington DC, USA (2005.06.25-2005.06.29)] Proceedings of the 2005 conference on Genetic and evolutionary computation - GECCO '05 - Evolutionary testing of state-based programs

McMinn, Phil, Holcombe, Mike

Année:

2005

Langue:

english

Fichier:

PDF, 177 KB

english, 2005

45

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - The impact of input domain reduction on search-based test data generation

Harman, Mark, Hassoun, Youssef, Lakhotia, Kiran, McMinn, Phil, Wegener, Joachim

Année:

2007

Langue:

english

Fichier:

PDF, 491 KB

english, 2007

46

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Efficient Mutation Analysis of Relational Database Structure Using Mutant Schemata and Parallelisation

Wright, Chris J., Kapfhammer, Gregory M., McMinn, Phil

Année:

2013

Langue:

english

Fichier:

PDF, 239 KB

english, 2013

47

[IEEE 2014 14th International Conference on Quality Software (QSIC) - Allen, TX, USA (2014.10.2-2014.10.3)] 2014 14th International Conference on Quality Software - The Impact of Equivalent, Redundant and Quasi Mutants on Database Schema Mutation Analysis

Wright, Chris J., Kapfhammer, Gregory M., McMinn, Phil

Année:

2014

Langue:

english

Fichier:

PDF, 220 KB

english, 2014

48

[ACM Press the 2015 - Madrid, Spain (2015.07.11-2015.07.15)] Proceedings of the 2015 on Genetic and Evolutionary Computation Conference - GECCO '15 - Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation?

Shamshiri, Sina, Rojas, José Miguel, Fraser, Gordon, McMinn, Phil

Année:

2015

Langue:

english

Fichier:

PDF, 913 KB

english, 2015

49

Design and analysis of different alternating variable searches for search-based software testing

Kempka, Joseph, McMinn, Phil, Sudholt, Dirk

Journal:

Theoretical Computer Science

Année:

2015

Langue:

english

Fichier:

PDF, 1.37 MB

english, 2015

50

The management of patients with aortic regurgitation and severe left ventricular dysfunction: a systematic review

Badar, Athar A, Brunton, Alan PT, Mahmood, Ammad H, Dobbin, Stephen, Pozzi, Andrea, McMinn, Jenna F, Sinclair, Andrew JE, Gardner, Roy S, Petrie, Mark C, Curry, Phil A, Al-Attar, Nawwar HK, Pettit, St

Journal:

Expert Review of Cardiovascular Therapy

Année:

2015

Langue:

english

Fichier:

PDF, 588 KB

english, 2015